($\lambda$$x$,$z$. inl($x$)) $\in$ Top$\rightarrow\downarrow$True$\rightarrow$Decision